typedef __builtin_va_list	va_list;
#define va_start(ap, X)		__builtin_va_start(ap, X)
#define va_arg(ap, type)	__builtin_va_arg(ap, type)
#define va_end(ap)		__builtin_va_end(ap)

#include "commands.h"

static char* videoMem = (char*) 0xb8000;
static position = 0;

void shellPrint(char*, ...);	// Parameterliste!!!
void clearShell(void);
void printChar(char);
void removeChar();
void commandEnter();
